home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / constructions / seventeengon.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  2.9 KB  |  78 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.040761, 0.002717, .green, "1");
  3. v2 = .free(0.711957, 0.002717, .red, "2");
  4. c1 = .c.vv(v1, v2, .invisible);
  5. l1 = .l.vv(v1, v2, .invisible, .longline);
  6. l2 = .l.vlperp(v1, l1, .invisible, .longline);
  7. v4 = .v.lc(l2, c1, 2, .invisible, .plus);
  8. v5 = .v.vvmid(v4, v1, .invisible, .plus);
  9. v6 = .v.vvmid(v5, v1, .invisible, .plus);
  10. c2 = .c.vv(v6, v2, .invisible);
  11. v7 = .v.lc(l2, c2, 1, .invisible, .plus);
  12. l3 = .l.vv(v6, v2, .invisible);
  13. v8 = .v.vvmid(v2, v7, .invisible, .plus);
  14. l4 = .l.vv(v6, v8, .invisible, .longline);
  15. v10 = .v.lc(l4, c2, 2, .invisible, .plus);
  16. v11 = .v.vvmid(v7, v10, .invisible, .plus);
  17. l5 = .l.vv(v6, v11, .invisible, .longline);
  18. v12 = .v.ll(l5, l1, .invisible, .plus);
  19. l6 = .l.vlperp(v6, l5, .invisible, .longline);
  20. c3 = .c.vv(v6, v11, .invisible);
  21. v13 = .v.lc(l6, c3, 1, .invisible, .plus);
  22. v14 = .v.vvmid(v11, v13, .invisible, .plus);
  23. l7 = .l.vv(v6, v14, .invisible, .longline);
  24. v15 = .v.ll(l1, l7, .invisible, .plus);
  25. v16 = .v.vvmid(v15, v2, .invisible, .plus);
  26. c4 = .c.vv(v16, v15, .invisible);
  27. v17 = .v.lc(l2, c4, 1, .invisible, .plus);
  28. c5 = .c.vv(v12, v17, .invisible);
  29. v18 = .v.lc(l1, c5, 1, .invisible, .plus);
  30. v19 = .v.lc(l1, c5, 2, .invisible, .plus);
  31. l8 = .l.vlperp(v19, l1, .invisible, .longline);
  32. l9 = .l.vlperp(v18, l1, .invisible, .longline);
  33. v20 = .v.lc(l8, c1, 1, .red, .plus);
  34. v21 = .v.lc(l9, c1, 1, .red, .plus);
  35. v22 = .v.lc(l8, c1, 2, .red, .plus);
  36. v23 = .v.lc(l9, c1, 2, .red, .plus);
  37. c6 = .c.vv(v20, v21, .invisible);
  38. v25 = .v.cc(c1, c6, 2, .red, .plus);
  39. c7 = .c.vv(v25, v2, .invisible);
  40. v27 = .v.cc(c7, c1, 2, .red, .plus);
  41. c8 = .c.vv(v20, v27, .invisible);
  42. v28 = .v.cc(c8, c1, 2, .red, .plus);
  43. c9 = .c.vv(v21, v28, .invisible);
  44. v29 = .v.cc(c1, c9, 1, .red, .plus);
  45. c10 = .c.vv(v29, v21, .invisible);
  46. v31 = .v.cc(c1, c10, 1, .red, .plus);
  47. c11 = .c.vv(v31, v29, .invisible);
  48. v32 = .v.cc(c1, c11, 1, .red, .plus);
  49. l10 = .l.vlperp(v28, l1, .invisible, .longline);
  50. l11 = .l.vlperp(v27, l1, .invisible, .longline);
  51. l12 = .l.vlperp(v25, l1, .invisible, .longline);
  52. l13 = .l.vlperp(v29, l1, .invisible, .longline);
  53. l14 = .l.vlperp(v31, l1, .invisible, .longline);
  54. l15 = .l.vlperp(v32, l1, .invisible, .longline);
  55. v34 = .v.lc(l12, c1, 2, .red, .plus);
  56. v35 = .v.lc(l11, c1, 2, .red, .plus);
  57. v36 = .v.lc(l10, c1, 2, .red, .plus);
  58. v37 = .v.lc(l13, c1, 2, .red, .plus);
  59. v38 = .v.lc(l14, c1, 2, .red, .plus);
  60. v39 = .v.lc(l15, c1, 2, .red, .plus);
  61. l16 = .l.vv(v2, v25, .yellow);
  62. l17 = .l.vv(v25, v27, .yellow);
  63. l18 = .l.vv(v27, v20, .yellow);
  64. l19 = .l.vv(v20, v28, .yellow);
  65. l20 = .l.vv(v28, v21, .yellow);
  66. l21 = .l.vv(v21, v29, .yellow);
  67. l22 = .l.vv(v29, v31, .yellow);
  68. l23 = .l.vv(v31, v32, .yellow);
  69. l24 = .l.vv(v32, v39, .yellow);
  70. l25 = .l.vv(v39, v38, .yellow);
  71. l26 = .l.vv(v38, v37, .yellow);
  72. l27 = .l.vv(v37, v23, .yellow);
  73. l28 = .l.vv(v23, v36, .yellow);
  74. l29 = .l.vv(v36, v22, .yellow);
  75. l30 = .l.vv(v22, v35, .yellow);
  76. l31 = .l.vv(v35, v34, .yellow);
  77. l32 = .l.vv(v34, v2, .yellow);
  78.